CZT: A Framework for Z Tools
نویسندگان
چکیده
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LTEX, Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in just a few lines of Java code. The paper also discusses several problems and challenges that arose when attempting to build tools based on the ISO Standard for Z.
منابع مشابه
CZT Support for Z Extensions
Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance effort. To achieve these goals, CZT uses a var...
متن کاملFormal Analysis in Model Management: Exploiting the Power of CZT
Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be underspecified to a degree that does not allow useful properties to be checked. The AUtoZ tools (jamesrobertwilliams.co.uk/autoz.php) provide formalisation in the style of commercially-acceptable model manageme...
متن کاملComparison between the Ccd Czt and the Digital Fft
The CCD analog transversal filter Is a tremendously cost-effective component In terms of its simplicity compared to equivalent diqltal hardware. In view of this, the chirp z-transform (CZT) algorithm for performing spectral analysis is ideally suited to ccn implementation because, in this algorithm, the bulk of the computation Is performed in a transversal filter. The CCD CZT has some performan...
متن کاملEvaluation of a Compton scattering camera using 3-D position sensitive CdZnTe detectors
A CZT Compton Camera (CCC) is being built using two three-dimensional (3-D) position-sensitive CZT detectors. Expected system performance was analyzed by analytical and Monte Carlo approaches. Based on the measurement of detector energy and position resolution, the expected angular resolution is &33 and &23 for a $303 FOV for 511 keV and 1 MeV c-rays, respectively. The intrinsic e$ciency for a ...
متن کاملApplication of Image Reconstruction by Means of Chirp z-Transform
The optical C T (Computerized Tomography), which utilises light transmitted through a semi-opaque object extends vision to the inside of objects. The projection profiles of the optical C T are smeared due to the scattering of light in a translucent medium. In the image reconstruction for MRI (Magnetic Resonance Imaging), FID (Free Induction Decay) signals consisting of decaying sinusoids inevit...
متن کامل